Abstract syntax - PDFSEARCH.IO - Document Search Engine

Abstract syntax
Results: 599

#	Item
91	Focusing and Higher-Order Abstract Syntax Noam Zeilberger Carnegie Mellon University Abstract Add to Reading List Source URL: noamz.org Language: English - Date: 2014-03-22 01:19:25
92	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppNEW CONNECTIONS AMONG MULTIVALUED FUNCTIONS, HYPERSTRUCTURES AND FUZZY SETS P. CORSINI AND B. DAVVAZ Abstract. One has considered three differ Add to Reading List Source URL: journals.yu.edu.jo Language: English - Date: 2012-02-24 11:21:41 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Orbifold Envelope Logic Abstract algebra Deduction
93	ESV1Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Support of interfaces with continuous signals Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 05:37:33 Evaluation Real Time Testing European Telecommunications Standards Institute Abstract Syntax Notation One GSM Computing Reference Software testing TTCN-3 TTCN
94	Microsoft Word - TTCN-3_Syllabus_v2 0_final.docx Add to Reading List Source URL: www.german-testing-board.info Language: English - Date: 2011-10-21 06:07:30 TTCN Education Abstract Syntax Notation One Conformance testing Test Standardized test Software testing Evaluation TTCN-3
95	ESV4Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: The IDL to TTCN-3 Mapping Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 08:28:03 Software testing CORBA Component-based software engineering Object-oriented programming Computer languages TTCN-3 TTCN IDL Abstract Syntax Notation One Software engineering Computing Computer programming
96	A Spirent Company Case Study Education & Research – Protocol Testing – Communications Engineering Add to Reading List Source URL: www.testingtech.com Language: English - Date: 2014-03-14 08:46:38 Education Science Abstract Syntax Notation One Test automation Hochschule für Technik und Wirtschaft Test Software testing Evaluation TTCN
97	MFPSExploratory functions on nondeterministic strategies, up to lower bisimilarity ? Paul Blain Levy1 Kidane Yemane Weldemariam2 University of Birmingham, Birmingham, B15 2TT, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-05-18 06:36:21 Deduction Entailment Logical consequence Logical syntax Metalogic Valuation Lambda calculus Natural deduction Holomorphic functional calculus Logic Abstract algebra Mathematics
98	ESV1Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Extended TRI Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 05:38:59 Evaluation Real Time Testing European Telecommunications Standards Institute Abstract Syntax Notation One 3GPP Computing Technology Software testing TTCN-3 TTCN
99	ESV1Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; TTCN-3 Language Extensions: Advanced Parameterization Add to Reading List Source URL: www.etsi.org Language: English - Date: 2015-06-01 05:30:38 TTCN-3 TTCN European Telecommunications Standards Institute Abstract Syntax Notation One Parameter 3GP and 3G2 C++ Computing Software engineering Software testing
100	Alternative questions through focus alternatives in Mandarin Chinese Michael Yoshitaka Erlewine Massachusetts Institute of Technology 1 Introduction In this paper I discuss the syntax/semantics of alternative questions i Add to Reading List Source URL: mitcho.com Language: English - Date: 2015-01-03 16:19:44 Boolean algebra Mathematics Propositional calculus Logical connectives Human communication Yes–no question Logical disjunction Question A-not-A question Grammar Abstract algebra Linguistics

UPDATE